$\forall$${\it es}$:ES, $i$:Id, ${\it knd}$:Knd, ${\it ds}$, $f$:Top, $e$:E.
\\[0ex]($\neg$(loc($e$) = $i$)) $\Rightarrow$ (($e$ $\in_{b}$ es{-}trigger(${\it es}$;$i$;${\it knd}$;${\it ds}$;$f$)) $\sim$ ff)